Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
21	ｂｲｵｳｳ･ｬｳＬ＠ＳＰ＠ｏ｣ｴｯ｢･ｲ＠ＲＰＱＵｃｏｓｔ＠ＰＵＵＯＱＵｄｅｃｉｓｉｏｎｓｵ｢ｪ･｣ｴＺ＠ Add to Reading List Source URL: w3.cost.eu Language: English - Date: 2015-11-12 17:02:31 Software engineering Software Type theory Programming language theory Proof assistants Functional languages Formal methods Logic in computer science Formal verification Dependent type Agda Coq
22	Towards User-Friendly Projectional Editors Markus Voelter1 , Janet Siegmund2 , Thorsten Berger3 , and Bernd Kolb4 1 2 3 Add to Reading List Source URL: mbeddr.com Language: English - Date: 2016-08-09 05:22:44 Computing Software Formal languages Compiler construction Language workbench Markup languages Technical communication Structure editor Syntax JetBrains MPS Parsing Abstract syntax tree
23	24. Theorietag „Automaten und Formale Sprachen“ Caputh, 23. – 25. September 2014 Henning Bordihn, Bianca Truthe (Hrsg.) Add to Reading List Source URL: fg-afs.gi.de Language: English - Date: 2015-10-19 16:22:16 Formal languages Grammar Language Cognitive science Formal grammar Context-sensitive grammar Tree-adjoining grammar Context-free grammar Regular tree grammar Tree automaton Regular language Graph rewriting
24	Visual Web Information Extraction with Lixto∗ Robert Baumgartner Sergio Flesca Georg Gottlob Add to Reading List Source URL: www.dbai.tuwien.ac.at Language: English - Date: 2001-08-16 04:33:25 Computing Markup languages Open formats Technical communication HTML Formal languages XPath ELOG Wrapper HTML element Regular expression Adapter pattern
25	m-multiple context-free grammars The Pumping Lemma for Well-Nested Multiple Context-Free Languages Add to Reading List Source URL: research.nii.ac.jp Language: English - Date: 2010-06-08 00:59:33 Formal languages Indexed grammar Pumping lemma for context-free languages
26	Proofs and Proof Transformations for Object-Oriented Programs Martin Nordio 2009 Diss. ETH N0 18689 Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2012-02-13 10:20:07 Logic Philosophy Abstraction Logic in computer science Proof theory Formal languages Syntax Formal methods Mathematical proof Mathematical logic Eiffel Formal proof
27	A formally verified compiler for critical embedded software Xavier Leroy INRIA Paris-Rocquencourt LCTES, Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2008-06-25 07:48:56 Software Computing Formal methods Logic in computer science Compiler construction Compilers Functional languages CompCert Compiler Xavier Leroy Formal verification Compiler correctness
28	Sparser, Better, Faster GPU Parsing David Hall Taylor Berg-Kirkpatrick John Canny Dan Klein Add to Reading List Source URL: people.eecs.berkeley.edu Language: English - Date: 2014-04-16 23:03:50 Formal languages Syntax Software engineering Parsing algorithms Natural language parsing Cognitive science Computer programming Compiler construction Parsing Stochastic context-free grammar Formal grammar Parse tree
29	Context-Free Grammars and Languages • We have seen that many languages cannot be regular. Thus we need to consider larger classes of langs. • Contex-Free Languages (CFL’s) played a central role natural languages si Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2015-01-28 19:30:41 Formal languages Compiler construction Context-free grammar Computing Grammar
30	Submarine Transit Lanes Environmental Common Operating Picture (COP) GIS metadata DownloadedFinalizedPrepared for: Naval Facilities Engineering Command (NAVFAC) Atlantic Add to Reading List Source URL: portal.midatlanticocean.org Language: English - Date: 2016-05-18 16:29:23 Computing Clothing Data types Mathematical analysis Formal languages C++ String C++ string handling Extensible Storage Engine Type conversion Thong Pi